Installation OpenBSD 7.6

Date: 2024-10-26

• Important: must use SATA configuration for the Disk and CDROM

pkg_add jed
pkg_add emacs
pkg_add bash
pkg_add wget
pkg_add gnupg
pkg_add unzip
pkg_add sudo

Ada Development setup

pkg_add gmake
pkg_add git
pkg_add gnat

Network configuration

(See https://www.openbsd.org/faq/faq6.html)

Install gprbuild

Get sources:

git clone https://github.com/AdaCore/xmlada.git
git clone https://github.com/AdaCore/gprconfig_kb
git clone https://github.com/AdaCore/gprbuild.git

Bootstrap:

cd gprbuild
./bootstrap.sh --with-xmlada=../xmlada --with-kb=../gprconfig_kb --prefix=./bootstrap

Setup for gprbuild:

cd /usr/local/bin
ln -s /usr/local/bin/egcc gcc

Build XML/Ada

export PATH=`pwd`/bootstrap/bin:$PATH
cd xmlada
./configure
gmake
sudo gmake install

Build gprbuild

cd gprbuild
gmake prefix=/usr/local SOURCE_DIR=`pwd` setup
gmake all
sudo gmake install

Build libgpr

gmake LIBRARY_TYPE=static libgpr.build ENABLE_SHARED=no
sudo gmake LIBRARY_TYPE=static libgpr.install ENABLE_SHARED=no